factor(2^32+1)